Abstract structure - PDFSEARCH.IO - Document Search Engine

Abstract structure
Results: 1322

#	Item
511	Global seismic structure maps Jeroen Ritsema Dept. Sismologie, Institut de Physique du Globe, Tour 14-24, 4, place Jussieu, 75252 Paris, France ABSTRACT This article briefly describes the derivation of S20RTS, a model of Add to Reading List Source URL: www.mantleplumes.org - Date: 2005-08-01 00:45:59
512	What can seismology say about hotspots? Bruce R. Julian U.S. Geological Survey, Menlo Park, California 94025, USA ABSTRACT Seismological methods offer the highest-resolution views of the structure of the mantle. Since de Add to Reading List Source URL: www.mantleplumes.org - Date: 2005-08-01 00:44:16
513	Exploring the Community Structure of Newsgroups [Extended Abstract] Christian Borgs Jennifer Chayes ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2004-07-05 20:34:42 Statistics Crossposting Alt.* hierarchy Graph theory Graph partition Cluster analysis A News Community structure Usenet celebrity Internet Usenet Computing
514	Observability concepts in abstract data type specification, 30 years later? Donald Sannella1 and Andrzej Tarlecki2,3 1 Laboratory for Foundations of Computer Science, University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-04-25 03:41:02 Abstract algebra Universal algebra Formal languages Boolean algebra Measure theory Sigma-algebra Structure Parity of a permutation Dual Mathematics Model theory Mathematical logic
515	The foundational legacy of ASL Donald Sannella1 and Andrzej Tarlecki2 1 Laboratory for Foundations of Computer Science, University of Edinburgh 2 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-11-17 11:50:58 Mathematical logic Measure theory Structure Universal algebra Sigma-algebra Elementary class Dual Parity of a permutation Mathematics Model theory Abstract algebra
516	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2014-11-04 14:23:47 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
517	Deployment, recovery, and reporting of pop-up archival transmitting (PAT) tags to study interannual dispersal and seasonal migration timing in IPHC Regulatory Area 4 Timothy Loher and William G. Clark Abstract Add to Reading List Source URL: www.iphc.washington.edu Language: English - Date: 2010-11-11 18:59:59 Marine biology Pop-up satellite archival tag Bering Sea Pribilof Islands Tag Flathead sole Radio-frequency identification IPHC Color-tagged structure Fish Pleuronectidae Pacific halibut
518	Arity-Generic Datatype-Generic Programming Stephanie Weirich Chris Casinghino University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:01 Abstract algebra Universal algebra Functional languages Generic programming Structure Lambda calculus Map Haskell Operation Mathematics Software engineering Computing
519	Elements of Epistemic Crypto Logic (Extended Abstract) Jan van Eijck Malvin Gattinger Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2015-03-16 08:58:37 Model theory Modal logic Non-classical logic Kripke semantics Entailment Structure Epistemic modal logic Linear temporal logic Μ operator Logic Mathematical logic Philosophical logic
520	Data Structure Fusion Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin Rinard, and Mooly Sagiv Stanford University, AT&T Labs Research, MIT, Tel Aviv University Abstract. We consider the problem of specifying data stru Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2010-09-10 20:45:48 Mathematics Data modeling SQL Relational algebra Extension Tree decomposition Finitary relation Relation Table Graph theory Data management Relational model

UPDATE